#include <iostream>
#include "variables.h"
#include "rulez.phs.h"
using namespace std;


int main()
{
    typedef Range<Int<50>,Int<100>, getB >RangeA;
    typedef Range<Int<10>,Int<40> , getA>   RangeB;
    typedef Range<Int<2>,Int<8>, getC > RangeC;
    Variable V(67, 21, 3);

    cout << "Formula Result1: " << codegen::generatrix<RangeA, RangeB, RangeC>::code(V)<<endl;

    return 0;
}
